Buy Used and New Alessandro Cimatti Books

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Roberto Sebastiani

ISBN 13: 9783642316111

Format: Paperback (520 pages)
Publisher: Springer
Published: 22 Jun 2012

Save for later

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Marjan Sirjani

ISBN 13: 9783319661964

Format: Paperback (432 pages)
Publisher: Springer
Published: 16 Sep 2017

Save for later